7 search results for "author:"Nicolas Osborne""
Showing 1 - 7
-
Ortac (OCaml Runtime Assertion Checking) core tool and library based on Gospel0.2.0MITUsed by 1 other packages17 Apr 2024
-
QCheck-STM plugin for Ortac0.2.0MITUsed by 0 other packages17 Apr 2024
-
Runtime support library for Ortac-generated code0.2.0MITUsed by 3 other packages17 Apr 2024
-
Runtime support library for Ortac/QCheck-STM-generated code0.2.0MITUsed by 1 other packages17 Apr 2024
-
A multicore testing library for OCaml0.3BSD-2-clauseUsed by 0 other packages11 Oct 2023
-
Various utility functions for property-based testing of multicore programs0.3BSD-2-clauseUsed by 5 other packages11 Oct 2023
-
State-machine testing library for sequential and parallel model-based tests0.3BSD-2-clauseUsed by 8 other packages11 Oct 2023